Justifier l’impérialisme américain ? Retour sur une série typique de l’ère George W. Bush

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...

Sur une souche de BRUCELLA d'origine humaine

The Presidency of George W . Bush

Following the tragic events of 9/11, when al Qaeda terrorists crashed three airplanes into the World Trade Center and the Pentagon, Americans turned their frightened eyes toward George W. Bush to see just what kind of president he would be. Most people weren't sure what they would find. The new president was still hard to define. His campaign in 2000 had sent mixed signals on a variety of issue...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Sur Une Question De Bergweiler *

Nous montrons la densité des cycles répulsifs dans l’ensemble de Julia des fonctions méromorphes transcendantes à une variable complexe, sans utiliser le théorème des cinq ı̂les d’Ahlfors ni la théorie de Nevanlinna.